Software Using the Gröbner Cover for Geometrical Loci Computation and Classification
نویسندگان
چکیده
We describe here a properly recent application of the Gröbner Cover algorithm (GC) providing an algebraic support to Dynamic Geometry computations of geometrical loci. It provides a complete algebraic solution of locus computation as well as a suitable taxonomy allowing to distinguish the nature of the different components. We included a new algorithm Locus into the Singular grobcov.lib library for this purpose. A web prototype has been implemented using it in Geogebra.
منابع مشابه
Software for Discussing Parametric Polynomial Systems: The Gröbner Cover
We present the canonical Gröbner Cover method for discussing parametric polynomial systems of equations. Its objective is to decompose the parameter space into subsets (segments) for which it exists a generalized reduced Gröbner basis in the whole segment with fixed set of leading power products on it. Wibmer’s Theorem guarantees its existence. The Gröbner Cover is designed in a joint paper of ...
متن کاملComputing the Canonical Representation of Constructible Sets
In the basic paper defining the Gröbner Cover [16] for discussing parametric polynomial systems of equations, we 8 introduced algorithms that have been improved since then. We used our own algorithm buildtree for computing 9 the initial Comprehensive Gröbner System (CGS), needed for the Gröbner Cover, now substituted in the Singular [7] 10 library “grobcov.lib” by themore efficientKapur–Sun–Wan...
متن کاملAutomatic deduction in (dynamic) geometry: Loci computation
A symbolic tool based on open source software that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction is presented. The prototype has been developed as two different worksheets for the open source computer algebra system Sage, corresponding to two different ways of coding a geometric construction, namely with the open source dynamic geometr...
متن کاملAutomatic Deduction in Dynamic Geometry using Sage
We present a symbolic tool that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction. The main prototype has been developed as two different worksheets for the open source computer algebra system Sage, corresponding to two different ways of coding a geometric construction. In one worksheet, diagrams constructed with the open source dynamic ge...
متن کاملComparing the Capability of Sentinel 2 and Landsat 8 Satellite Imagery in Land Use and Land Cover Mapping Using Pixel-based and Object-based Classification Methods
Introduction: Having accurate and up-to-date information on the status of land use and land cover change is a key point to protecting natural resources, sustainable agriculture management and urban development. Preparing the land cover and land use maps with traditional methods is usually time and cost consuming. Nowadays satellite imagery provides the possibility to prepare these maps in less ...
متن کامل